翻訳と辞書 Words near each other ・ Hypercompe conspersa ・ Hypercompe contexta ・ Hypercompe cotyora ・ Hypercompe cretacea ・ Hypercompe cunigunda ・ Hypercompe decora ・ Hyperandra ・ Hyperandra appendiculata ・ Hyperandra diminuta ・ Hyperandra laguerrei ・ Hyperandra novata ・ Hyperandra porioni ・ Hyperandrogenism ・ Hyperanthes ・ Hyperapeira ・ Hyperarithmetical theory ・ Hyperaulax ・ Hyperaulax ridleyi ・ Hyperbaena ・ Hyperbaena allenii ・ Hyperbaena jalcomulcensis ・ Hyperbaena prioriana ・ Hyperbaena valida ・ Hyperball ・ Hyperball Racing ・ Hyperballad ・ Hyperballoid HD ・ Hyperbaniana ・ Hyperbaric medicine ・ Hyperbaric nursing Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Hyperarithmetical theory ： ウィキペディア英語版 Hyperarithmetical theory In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. == Hyperarithmetical sets == The central focus of hyperarithmetic theory is the sets of natural numbers known as hyperarithmetic sets. There are three equivalent ways of defining this class of sets; the study of the relationships between these different definitions is one motivation for the study of hyperarithmetical theory. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Hyperarithmetical theory」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.